Scalability of Model Transformations: Position Paper and Benchmark Set
نویسندگان
چکیده
As model transformations are often considered the “heart and soul” of Model-Driven Engineering (MDE), the scalability of model transformations is vital for the scalability of MDE approaches as a whole. The existing research on scalable transformations has largely focused on performance behavior if the involved input models grow in size. In this work, we address a second key dimension for the practical scalability of model transformations: The effect as the transformation specification itself grows larger. We outline a number of challenges related to large model transformations, specifically affecting the quality concerns maintainability and performance. We introduce three model transformation benchmarks and discuss how they are affected by these challenges. The transformation rule sets in these benchmarks have acted as an evaluation basis in our previous work. Our objective is to establish a community benchmark set to compare model transformation approaches with respect to the aforementioned quality concerns.
منابع مشابه
Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations
With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions in this sense, the community lacks a set of shared scalability benchmarks, that would simplify quantita...
متن کاملThe TTC 2015 Train Benchmark Case for Incremental Model Validation
In model-driven development of safety-critical systems (like automotive, avionics or railways), wellformedness of models is repeatedly validated in order to detect design flaws as early as possible. Validation rules are often implemented by a large amount of imperative model traversal code which makes those rule implementations complicated and hard to maintain. Additionally as models are rapidl...
متن کاملpresentation of a two stages method to determine the suitable benchmark and return to scale (case study: girls high school of one zone shiraz city)
In this paper, a two stages method to determine suitable benchmark and return scale of the decision making units set is presented. At first, all of the efficient reference set in no radial data envelopment analysis (DEA) based on linear programming is found. first, RAM model is introduced and units is investigated using this model, then, to run the given algorithm below steps is performed. At t...
متن کاملSynchronous logic synthesis: algorithms for cycle-time minimization
This paper presents a new approach to logic synthesis of digital synchronous circuits. We present a model for synchronous circuits that supports logic transformations aimed at optimizing the circuit performance. Previous synthesis approaches attacked this problem by separating the combinational logic from the registers and by applying circuit transformations to the combinational component only....
متن کاملEfficient OCL-based Incremental Transformations
Active operations have recently been shown to be a possible back-end to implement OCL-based incremental model transformations. However, the scalability of this approach had not been evaluated yet. This paper presents work done to address this issue by leveraging the VIATRA CPS Benchmark. We show that our implementation of the benchmark transformation using the Active Operation Framework scales ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016